lógica simbólica validez